#include<stdio.h>

int main()
{
    int num[10],flag=0;
    int difnum[10]={0};
    for(int i=0;i<10;i++){
        scanf("%d",&num[i]);
    }
    for(int i=0;i<10;i++)
    {
       difnum[num[i]-1]=difnum[num[i]-1]+1;
    }
    printf("dif-num:");
    for(int i=9;i>=0;i--){
        if(difnum[i]!=0){
            if(flag==0){
                printf("%d",i+1);
                flag=1;
            }
            else{
                printf(" %d",i+1);
            }
        }
    }
    flag=0;
    printf(".counts:");
    for(int i=9;i>=0;i--){
        if(difnum[i]!=0){
            if(flag==0){
                printf("%d",difnum[i]);
                flag=1;
            }
            else{
                printf(" %d",difnum[i]);
            }
        }
    }
    printf(".");
}